-- No undefined types!
--
-- ==
-- error: Unknown type

type foo = bar

def main (x: foo) : foo = x
